gdk: Make gdk_keyval_to_unicode platform-independent

The result of gdk_keyval_to_unicode should not depend
on the platform.

diff --git a/gdk/gdkkeyuni.c b/gdk/gdkkeyuni.c
index d032f6afe7efd606ef90ad689ba8210a74dd3067..863d2b4935895df3ee88050d041f161363aa1d33 100644 (file)
--- a/gdk/gdkkeyuni.c
+++ b/gdk/gdkkeyuni.c
@@ -903,16 +903,6 @@ gdk_keyval_to_unicode (guint keyval)
   if ((keyval & 0xff000000) == 0x01000000)
     return keyval & 0x00ffffff;
 
-#if defined(GDK_WINDOWING_WIN32)
-  if (GDK_IS_WIN32_DISPLAY (gdk_display_get_default ()) &&
-      keyval == 0xffae)
-    {
-      GdkWin32Keymap *keymap = GDK_WIN32_KEYMAP (gdk_display_get_keymap (gdk_display_get_default ()));
-
-      return (guint32) _gdk_win32_keymap_get_decimal_mark (keymap);
-    }
-#endif
-
   /* binary search in table */
   while (max >= min) {
     mid = (min + max) / 2;